Duality theory and propagation rules for higher order nets

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Duality Theory and Propagation Rules for Generalized Nets

Generalized nets and sequences are used in quasi-Monte Carlo rules for the approximation of high dimensional integrals over the unit cube. Hence one wants to have generalized nets and sequences of high quality. In this paper we introduce a duality theory for generalized nets whose construction is not necessarily based on linear algebra over finite fields. We use this duality theory to prove pro...

متن کامل

Duality theory and propagation rules for generalized digital nets

Digital nets are used in quasi-Monte Carlo algorithms for approximating high dimensional integrals over the unit cube. Hence one wants to have explicit constructions of digital nets of high quality. In this paper we consider the so-called propagation rules for digital nets, which state how one can obtain a new digital net of different size from existing digital nets. This way one often can gene...

متن کامل

A higher order Blokh-Zyablov propagation rule for higher order nets

Higher order nets were introduced by Dick as a generalisation of classical (t,m, s)nets, which are point sets frequently used in quasi-Monte Carlo integration algorithms. Essential tools in finding such point sets of high quality are propagation rules, which make it possible to generate new higher order nets from existing higher order nets and even classical (t,m, s)-nets. Such propagation rule...

متن کامل

Higher Order Demand Propagation

In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non-strict functional language, which has a polymorphic type system and supports higher order functions and user definable algebraic data types. This report defines a semantics for higher order demand propagation and relates it to...

متن کامل

Higher-Order Nets for Mobile Policies

Since the early 80’s the combination of Petri nets and rule-based transformations has been extensively researched to obtain new concepts and results. In this paper we consider rules as tokens leading to the concept of higher-order nets for mobile policies. The rules are used on the one hand for the specification of policy rules and on the other hand for the modification of policy rules, i.e. fo...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Discrete Mathematics

سال: 2011

ISSN: 0012-365X

DOI: 10.1016/j.disc.2010.11.002